Relativized Topological Size of Sets of Partial Recursive Functions

Topological Size of Sets of Partial Recursive Functions

Recursive Baire Classification and Speedable Functions

Using recursive variants of Baire notions of nowhere dense and meagre sets we study the topological size of speedable and infinitely often speedable functions in a machine-independent framework. We show that the set of speedable functions is not "small" whereas the set of infinitely often speedable functions is "large". In this way we offer partial answers to a question in [4]. MSC: 03D15.

Realizability interpretation of PA by iterated limiting PCA

For any partial combinatory algebra (pca for short) A, the class of A-representable partial functions from N to A quotiented by the filter of cofinite sets of N, is a pca such that the representable partial functions are exactly the limiting partial functions of A-representable partial functions (Akama, “Limiting partial combinatory algebras” Theoret. Comput. Sci. Vol. 311 2004). The n-times it...

Decomposition of supra soft locally closed sets and supra SLC-continuity

In this paper, we introduce two different notions of generalized supra soft sets namely supra A--soft sets and supra soft locally closed sets in supra soft topological spaces, which are weak forms of supra open soft sets and discuss their relationships with each other and other supra open soft sets [{it International Journal of Mathematical Trends and Technology} (IJMTT), (2014) Vol. 9 (1):37--...

Partially continuous pretopological and topological operators for intuitionistic fuzzy sets

In this paper, pretopological and topological operators are introduced based on partially continuous linear transformations of the membership and non-membership functions for intuitionistic fuzzy sets. They turn out to be a generalization of the topological operators for intuitionistic fuzzy sets.On the other hand it is a generalization of the fuzzy set pretopological operators introduced...